Deterministic finite automaton - PDFSEARCH.IO - Document Search Engine

Deterministic finite automaton
Results: 142

#	Item
111	Deciding equivalence using type checking Colin Stirling [removed] LFCS School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-30 04:38:21 Model checking Finite-state machine Automata theory Models of computation Deterministic pushdown automaton
112	Lecture notes on automata, languages, and grammars Cristopher Moore January 11, 2013 Abstract These lecture notes are intended as a supplement to Moore and Mertens’ The Nature of Computation, and are available to anyon Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-01-11 13:28:25 Applied mathematics Nondeterministic finite automaton Myhill–Nerode theorem DFA minimization Regular language Deterministic finite automaton Regular expression Finite-state machine Powerset construction Automata theory Theoretical computer science Computer science
113	series-parallel-loop construction (3.5, 3.6) ≥ NFA ⊃ Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:15 Applied mathematics Nondeterministic finite automaton Deterministic finite automaton Powerset construction Regular expression Regular language Automata theory Theoretical computer science Computer science
114	jn[removed]Finite state machines (fsm, sequential machines): examples and applications Goal of this chapter: fsm’s are everywhere in our technical world! Learn how to work with them. 2.1 Example: Design a finite Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:13 Finite-state machine Nondeterministic finite automaton Deterministic finite automaton Applied mathematics Function Counter Automata theory Models of computation Mathematics
115	jn[removed]Finite automata with external storage Concepts of this chapter: Finite automata with external storage of unbounded capacity, subject to various access restrictions that limit the automa’s power of compu Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:14 Theoretical computer science Deterministic pushdown automaton Nondeterministic finite automaton Finite-state machine Turing machine Linear bounded automaton Alphabet Queue automaton Counter automaton Automata theory Theory of computation Models of computation
116	libalf: the Automata Learning Framework⋆ (Extended Abstract) Benedikt Bollig1 , Joost-Pieter Katoen2 , Carsten Kern2 , Martin Leucker3, Daniel Neider2 , and David R. Piegdon2 1 Add to Reading List Source URL: libalf.informatik.rwth-aachen.de Language: English - Date: 2009-10-20 05:06:15 Theoretical computer science Models of computation Computer science Cybernetics Finite-state machine Learning automata Algorithm Computational learning theory Deterministic finite automaton Machine learning Automata theory Applied mathematics
117	regex2dot A regex to automaton compiler Diogo Sousa Universiteit Utrecht Add to Reading List Source URL: orium.pw Language: English - Date: 2012-01-24 13:16:41 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular language Regular expression Finite-state machine String operations Automata theory Formal languages Theoretical computer science
118	Symbolic Automata for Static Specification Mining Hila Peleg1 , Sharon Shoham2 , Eran Yahav3 , and Hongseok Yang4 1 Tel Aviv University, Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-05-17 17:02:48 Models of computation Theoretical computer science Model theory Combinatorics on words Logic Structure Finite-state machine Deterministic finite automaton Interpretation Automata theory Formal languages Mathematics
119	Logic, Automata, Games, and Algorithms Moshe Y. Vardi Rice University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-06-11 21:41:58 Computer science Deterministic finite automaton Nondeterministic finite automaton Model theory Regular language Structure First-order logic Powerset construction Linear temporal logic Automata theory Theoretical computer science Logic
120	CS345: Theory of Computation Class schedule & room: Time: Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-04-10 18:04:10 Theory of computation Models of computation Computer science Context-free language Recursively enumerable language Finite-state machine Regular language Deterministic finite automaton Nondeterministic finite automaton Formal languages Theoretical computer science Automata theory

UPDATE